$\forall$$i$:Id, $A$:Realizer, $l$:IdLnk, ${\it tg}$:Id.
\\[0ex]$\neg$Rnone?($A$)
\\[0ex]$\Rightarrow$ $\neg$Rplus?($A$)
\\[0ex]$\Rightarrow$ rcv($l$,${\it tg}$) declared in @R{-}loc($A$): R{-}base{-}ma($A$)($i$)
\\[0ex]$\Rightarrow$ Reffect?($A$) $\vee$ Rsends?($A$)